Ka I Pun , Martin Steffen , and Volker Stolz I SBN 82 - 7368 - 385 - 0 I SSN 0806 - 3036 November 2012

Ka I Pun , Martin Steffen , and Volker Stolz I SBN 82 - 7368 - 366

Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. Often static approaches try to confirm that the lock-taking adheres to a given order, or, better, to infer that such an order exists. Such an order precludes situations of c...

Deadlines , Elastically Research Report 443

Deadlock checking by a behavioral effect system for lock handling

Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to deadlocks. Often static approaches try to confirm that the lock-taking statically analyze the program code to spot sources of potential adheres to a given order, or, better, to infer that such an order exists. Such an order precludes situations of c...

Delta-Oriented Monitor Specification

Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the execution history of the program; this is useful, e.g., for the purpose of runtime verification and for enforcing secur...

A Comparative Study of Martin Buber and Rumi on God-Man Relation

The issue of relation, particularly that of human relation to God stands for one of the most significant concerns by all men of faith. To realize such a relation Martin Buber and Rumi, two globally acclaimed thinkers, have appropriated independent existences for both God and man to make them eligible for having a relation to each other, and they have brought this relationship to the fore in the...